<body>
Helper classes for simple BDD representation of sets
</body>